Equational noethericity for graphs and hypergraphs
نویسندگان
چکیده
منابع مشابه
CATEGORY OF (POM)L-FUZZY GRAPHS AND HYPERGRAPHS
In this note by considering a complete lattice L, we define thenotion of an L-Fuzzy hyperrelation on a given non-empty set X. Then wedefine the concepts of (POM)L-Fuzzy graph, hypergraph and subhypergroupand obtain some related results. In particular we construct the categories ofthe above mentioned notions, and give a (full and faithful) functor form thecategory of (POM)L-Fuzzy subhypergroups ...
متن کاملGraphs, Hypergraphs and Hashing
Minimal perfect hash functions are used for memory efficient storage and fast retrieval of items from static sets. We present an infinite family of efficient and practical algorithms for generating minimal perfect hash functions which allow an arbitrary order to be specified for the keys. We show that almost all members of the family are space and time optimal, and we identify the one with mini...
متن کاملSupersaturated graphs and hypergraphs
We shall consider graphs (hypergraphs) without loops and multiple edges . Let Ybe a family of so called prohibited graphs and ex (n, Y) denote the maximum number of edges (hyperedges) a graph (hypergraph) on n vertices can have without containing subgraphs from Y A graph (hypergraph) will be called supersaturated if it has more edges than ex (n, Y). If G has n vertices and ex (n, Y)=k edges (hy...
متن کاملBisimulation and Coverings for Graphs and Hypergraphs
We survey notions of bisimulation and of bisimilar coverings both in the world of graph-like structures (Kripke structures, transition systems) and in the world of hypergraph-like general relational structures. The provision of finite analogues for full infinite tree-like unfoldings, in particular, raises interesting combinatorial challenges and is the key to a number of interesting model-theor...
متن کاملOn Equational Simple Graphs
We consider simple graphs that can be obtained from the innnite complete binary tree B by some simple language-theoretic operations. Their decision problems for sentences in monadic second-order logic are reduced to those of B in a straightforward manner and therefore are solvable by the famous result of Rabin. Our goal is to provide a natural alternative characterization for these graphs. They...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2021
ISSN: 1742-6588,1742-6596
DOI: 10.1088/1742-6596/1791/1/012088